\documentclass{ctexart}
\usepackage{xdyy-math}
\usepackage{unicode-math}
\begin{document}
$p \overlay[
  vsep = -1pt, 
  above-anchor = {north}, 
  below-vsep = 3pt, 
  below-hsep = 1pt, 
  above-label = {$\nLeftarrow$}, 
  below-label = {$\Rightarrow$}
] q$

\section{ deduce命令 }

\deduce[]{
  \begin{enumerate}
    \item 1
    \item 2
  \end{enumerate}
}{
  \begin{enumerate}
    \item 1
    \item 2
  \end{enumerate}
}

\deduce[]{
  \begin{enumerate}
    \item 1
    \item 2
  \end{enumerate}
}{
  1
}

\deduce[]{
  \begin{enumerate}
    \item 1
    \item 2
  \end{enumerate}
}{
  1 \\
  2
}

\deduce[]{
  1
}{
  \begin{enumerate}
    \item 1
    \item 2
  \end{enumerate}
}

\deduce[]{
  \deduce[]{
  1 \\[2em]
  \deduce[]{
  1 \\
  2
}{
  \begin{enumerate}
    \item 1
    \item 2
  \end{enumerate}
}
}{
  \begin{enumerate}
    \item 1
    \item 2
  \end{enumerate}
}\\[2em]

2
}{111}

\deduce[show-leftbrace = true]{
  \begin{itemize}
    \item $3 > 2$
    \item $2 > 1$
  \end{itemize}
}{
  $3 > 1$
}


\section{定理环境}

\begin{definition}
  这是一段文字 $E = m c^2$
\end{definition}

\begin{theorem}
  这是一段文字 $E = m c^2$
\end{theorem}

\begin{example}
  这是一段文字 $E = m c^2$
\end{example}

\begin{property}
  这是一段文字 $E = m c^2$
\end{property}

\begin{proposition}
  这是一段文字 $E = m c^2$
\end{proposition}

\begin{corollary}
  这是一段文字 $E = m c^2$
\end{corollary}

\begin{lemma}
  这是一段文字 $E = m c^2$
\end{lemma}

\begin{axiom}
  这是一段文字 $E = m c^2$
\end{axiom}

\begin{antiexample}
  这是一段文字 $E = m c^2$
\end{antiexample}

\begin{conjecture}
  这是一段文字 $E = m c^2$
\end{conjecture}

\begin{question}
  这是一段文字 $E = m c^2$
\end{question}

\begin{remark}
  这是一段文字 $E = m c^2$
\end{remark}

\begin{hint}
  这是一段文字 $E = m c^2$
\end{hint}

\begin{summary}
  这是一段文字 $E = m c^2$
\end{summary}

\begin{analysis}
  这是一段文字 $E = m c^2$
\end{analysis}

\begin{proof}[Euclid定理的证明]
  \begin{method}
    \item 方法一
    \item 方法二
  \end{method}
\end{proof}

\begin{proof}
  文字
  \begin{method}
    \item 方法一
    \item 方法二
  \end{method}
\end{proof}

\begin{proof}
  \begin{case}
    \item 情形1
    \item 情形2
  \end{case}
\end{proof}

\begin{proof}
  文字
  \begin{case}
    \item 情形1
    \item 情形2
  \end{case}
\end{proof}

\begin{proof}
  \begin{step}
    \item 步骤1
    \item 步骤2
  \end{step}
\end{proof}

\begin{proof}
  文字
  \begin{step}
    \item 步骤1
    \item 步骤2
  \end{step}
\end{proof}

\begin{proof}
  \begin{existence}
    下面证明存在性
  \end{existence}
  \begin{uniqueness}
    下面证明唯一性
  \end{uniqueness}
\end{proof}

\begin{proof}
  \begin{sufficiency}
    下面证明充分性
  \end{sufficiency}
  \begin{necessity}
    下面证明必要性
  \end{necessity}
\end{proof}

这是一段文字 \emph{夏康玮真牛 Bill} 是的啊

是 $\emph{x^2}$ 不是 $x^3$

$\emptyset$ 
$\innerproduct{x_n}{y_n}$
$\lrangle{x_n}{y_n}$


$\iff$

$\implies$

$\to$

$\gets$

$\so$

$\pi \leq \i$

% $\symrm{e} \symrm{\pi} \pi$
$\oorder{x^2} \OOrder{x^3} \abs{x^2 + 1 = 2}$





\end{document}